Efficient Out-of-Order Execution of Guarded ISAs

Out-of-Order Execution of Interruptible Codes

IndiGolog : Execution of Guarded Action

IndiGolog: Execution of Guarded Action Theories Sebastian Sardiña Master of Science Graduate Department of Computer Science University of Toronto 2000 In AI, the problem of selecting (high-level) actions in dynamic and not completely predictable environments translates into the problem of designing controllers that can map sequence of observations into actions so that certain goals are achieved...

Federation: Out-of-Order Execution using Simple In-Order Cores

Manycore architectures with dozens, hundreds, or thousands of threads are likely to use single-issue, in-order execution cores with simple pipelines but multiple thread contexts per core. This approach is beneficial for throughput but only with thread counts high enough to keep most thread contexts occupied. If these manycore architectures do not want to be limited to niches with embarrassing l...

Formal Verification of Out-of-Order Execution Using Incremental Flushing

We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating an in-order abstraction of the out-of-order execution core. Second, incremental flushing addresses the complexity difficulties encountered by automated abstraction functions on very deep pipelines. We illustrate the techniques on a model of a sim...

OVM: Out-of-Order Execution Parallel Virtual Machine

High performance computing on parallel architectures currently uses different approaches depending on the hardware memory model of the architecture, the abstraction level of the programming environment and the nature of the application. In this paper; we introduce an original client-server execution model based on RPCs called Outof-order parallel Virtual Machine (OVM). OVM aims to provide three...